Showing results: 61 - 75 of 155 items found.
-
GNATcoverage -
AdaCore Technologies, Inc.
GNATcoverage performs coverage analysis on both object code instruction and branch coverage and Ada and C language source code statement, decision and Modified Condition/Decision Coverage (MC/DC). Unlike most current technologies, the tool works without requiring instrumentation of the executable. Instead, it runs directly on an instrumented version of GNATemulator, a lightweight and efficient emulator tool. GNAT Pro add-on.
-
Curtiss-Wright Defense Solutions
Our tools and source code for use with our Xilinx Virtex and Kintex-based FPGA products include- FusionXF simplifies the development of FPGA-based application code by allowing developers to concentrate on their application without needing to worry about system integration of the hardware and operating system interface- The DDC family of IP cores supports decimation from 2 to 64 in complex mode and 2 to 32 in real mode
-
RapiCoverZero -
Rapita Systems Ltd.
*Collect coverage from systems that produce branch traces*Save time with efficient merge and mark verification workflow*Simplify verification through integration with your CI tool*Collect coverage for libraries without source code
-
CompCert -
AbsInt Angewandte Informatik GmbH
Meet the highest levels of software assurance by compiling your application with the only C compiler that's been formally verified to be free of miscompilation issues. All safety properties verified on the source code, e.g. with Astre, are guaranteed to hold for the generated executable as well.
-
LDS-7200 -
PSE Technology
5 nanometers tuning range• 10 picometer setpoint accuracy• 0.1 picometer resolution• 20mW output power• 0.005 dB power stability• Built-in coherence control• Integrated function generator• USB remote interface• Application program with source code
-
Testing Technologies
The Spirent SecurityLabs’ services are structured to produce high-impact results with minimal impact on the client organization. Our dedicated teams of experienced security professionals offer comprehensive scanning, penetration testing and monitoring services for networks, applications and devices, as well as source code analysis.
-
EMS-PT30C -
Progressive Industries
Progressive Industries Portable Electrical Management Systems (EMS) offer quick and easy RV electrical protection. A true plug-and-play application with no installation required. You will feel secure with multi-mode surge, voltage, polarity, and lost/open neutral protection. Each unit includes a digital display, scrolling continuously through the power source information: voltage(s), current frequency, error code, and previous error code (if applicable). Additionally, the computer is driven by state of the art microprocessors.
-
EMS-PT50C -
Progressive Industries
Progressive Industries Portable Electrical Management Systems (EMS) offer quick and easy RV electrical protection. A true plug-and-play application with no installation required. You will feel secure with multi-mode surge, voltage, polarity, and lost/open neutral protection. Each unit includes a digital display, scrolling continuously through the power source information: voltage(s), current frequency, error code, and previous error code (if applicable). Additionally, the computer is driven by state of the art microprocessors.
-
RapiTaskZero -
Rapita Systems Ltd.
*Gain insight into your application through scheduling analysis*Locate rare timing events that need attention*Identify bottlenecks in your application by analyzing capacity issues *Compare scheduling algorithms from different RTOSs*Visualize scheduling behavior of libraries without source code
-
Fibre Channel SDK -
Avionics Interface Technologies
Software Drivers for Windows, Linux, VxWorks, and other Operating Systems (on request) - Compatible with all Fibre Channel Interface Modules - Includes documented APIs with source code examples for ANSI C, C++, and LabVIEW - Support provided by AITs industry leading applications engineering team
-
Helix Core -
Perforce Software Inc.
Perforce Helix Core is the leading version control system for teams who need to accelerate innovation at scale. Store and track changes to all your digital assets, from source code to binary to IPs. Connect your teams and empower them to move faster and build better.
-
IE WebDeveloper V2 -
IEInspector Software LLC
IE WebDeveloper is an add-on for Microsoft Internet Explorer. The rich web debugging toolset allows you to inspect and edit the live HTML DOM and current cascaded styles, evaluate expressions and display error messages, log messages, explore source code of webpage and monitor DHTML Event and HTTP Traffic.
-
Kiuwan
Know the risks, the technical debt, the security flaws, the performance issues… create automatic action plans and analyze their progress. Make better decisions, faster, with Kiuwan Software Analytics! Kiuwan is the Optimyth cloud solution for the Certification, Management and Government of the quality and productivity of the source code of your business critical application portfolios.
-
Imagix 4D -
Verifysoft Technology GmbH
Imagix 4D is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. Imagix 4D automates the analysis of control flow and dependencies. It detects problems in data usage and task interactions. With Imagix 4D you increase productivity, improve quality, and reduce risk.
-
137 -
STAR-Dundee
STAR-Dundee's SpaceWire LabVIEW VISA driver has been implemented as a native LabVIEW driver, providing support for the STAR-Dundee PCI family of devices. Software written to control these devices may be deployed on any hardware platform that supports cPCI/PCI and NI-VISA, including both Windows based hosts and LabVIEW Real-Time targets, without requiring modifications to source code. The software is provided as LabVIEW source with password protected block diagrams, allowing users to compile for any target.